“술어 논리”으로 총 1건 검색

• 술어 논리, 述語論理, Predicate logic

  보다 효율적인 지식 표현이 가능하다. 명제 논리와 마찬가지로 지식 표현 및 추론에 사용된다. 술어 논리에서 객체는 상수나 변수 혹은 함수로, 관계는 술어로 표현된다. 객체의 집합이 가지는 특성은 변수와 한정 기호(quantifier)로 표시된다. 하나의 술어로 구성되는 원자(atomic) 문장은 참 혹은 거짓 중...